Nuprl Lemma : nat_plus_wf
13,42
postcript
pdf
Type
latex
Up
int
1
,
int
1
Definitions
,
t
T
origin
Type Type T